and Logic - PDFSEARCH.IO - Document Search Engine

and Logic
Results: 11835

#	Item
541	2016 General Europractice MPW runs Schedule and Prices Accessible for universities, research institutes and companies Version– v15 www.europractice-ic.com Dear customer, Add to Reading List Source URL: www.europractice-ic.com Language: English - Date: 2016-08-09 03:08:23 Electromagnetism Electronic engineering Integrated circuits Electronics Digital electronics Logic families Electronic design Silicon-germanium Thermoelectricity Radio frequency microelectromechanical system CMOS TSMC
542	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: events.cs.bham.ac.uk Language: English - Date: 2012-04-24 12:00:17 Proof theory Dependently typed programming Logic in computer science Type theory Riemann surfaces Mathematics Philosophy of mathematics CurryHoward correspondence Logic Orbifold
543	Revisiting: Algebraic laws for nondeterminism and concurrency Matthew Hennessy Milner-Symposium, Edinburgh Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:01 Theoretical computer science Logic in computer science Formal methods Programming language semantics Models of computation Denotational semantics Process calculi Matthew Hennessy Semantics Maurice Nivat Bisimulation Negation
544	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-01-13 03:12:14 Electronic engineering Electromagnetism Electronics Integrated circuits Logic families Electronic circuits Analog circuits Digital electronics Comparator CMOS MOSFET Transistor
545	A GENERAL APPROACH TO MAP CONFLATION Anthony E. Lupien William H. Moreland Environmental Systems Research Institute Redlands, CaliforniaAbstract Add to Reading List Source URL: mapcontext.com Language: English - Date: 2008-08-30 00:16:12 Cartography Geography Geographic data and information GIS software Conflation Logic ArcInfo Rubbersheeting Spatial database Geographic information system Esri Data
546	Broad-coverage CCG Semantic Parsing with AMR Kenton Lee Luke Zettlemoyer Yoav Artzi∗ Dept. of Computer Science and Cornell Tech Computer Science & Engineering University of Washington Cornell University Add to Reading List Source URL: www.emnlp2015.org Language: English - Date: 2015-12-05 04:22:39 Logic Mathematical logic Mathematics Predicate logic Type theory Logic in computer science Combinatory categorial grammar Combinatory logic Quantifier Lambda calculus Parsing Free variables and bound variables
547	Towards Definition and Composition of Uncertain RESTful Resources Pierre De Vettor1 , Micha¨el Mrissa1 , and Djamal Benslimane1 Universit´e de Lyon, CNRS LIRIS, UMR5205, F-69622, France Lyon, France Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2016-07-08 19:51:58 Computing Information science Data Fuzzy logic Machine learning Semantic Web Knowledge engineering Uncertain data Probability Expected value Probabilistic database Uncertainty principle
548	Dresden, September 23rd, 2015 SAFETY CONSTRAINTS AND ETHICAL PRINCIPLES IN COLLECTIVE DECISION-MAKING SYSTEMS Francesca Rossi Add to Reading List Source URL: ki2015.computational-logic.org Language: English - Date: 2015-10-02 05:44:22 Economy Business Neuroscience Consumer theory Preference Ethics Intelligent agent Dresden Autonomous car Boolean algebra Toyota Decision-making
549	Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Mathematical logic Logic Model theory Mathematics Computability theory Models of computation Formal languages Lambda calculus Theoretical computer science First-order logic Structure Interpretation
550	OUP CORRECTED PROOF – FINAL, , SPi 6 Expression, Truth, and Reality: Some Variations on Themes from Wright Add to Reading List Source URL: www.doritbar-on.com Language: English - Date: 2015-05-31 02:01:53 Philosophy Meta-ethics Political philosophy Reality Philosophical logic Expressivism Dorit Bar-On Objectivity Modal logic Truth

UPDATE